Mathematical Logic Quarterly M L Q Editors Armin Hemmerling, Greifswald (managing) Applications of the Ergodic Iteration Theorem

Individual ergodic theorem for intuitionistic fuzzy observables using intuitionistic fuzzy state

The classical ergodic theory hasbeen built on σ-algebras. Later the Individual ergodictheorem was studied on more general structures like MV-algebrasand quantum structures. The aim of this paper is to formulate theIndividual ergodic theorem for intuitionistic fuzzy observablesusing  m-almost everywhere convergence, where  m...

Ordinal operations on graph representations of sets

Editorial Board Marat Arslanov, Kazan John T. Baldwin, Chicago, IL Douglas S. Bridges, Canterbury Armin Hemmerling, Greifswald Ramon Jansana, Barcelona Carl G. Jockusch, Urbana, IL Alexander Kechris, Pasadena, CA Ulrich Kohlenbach, Darmstadt H. Dugald Macpherson, Leeds Johann Makowsky, Haifa Andrzej Rosłanowski, Omaha, NE Jörg Rothe, Düsseldorf Wilfried Sieg, Pittsburgh, PA Stephen G. Simpson, ...

Non-linear ergodic theorems in complete non-positive curvature metric spaces

Hadamard (or complete $CAT(0)$) spaces are complete, non-positive curvature, metric spaces. Here, we prove a nonlinear ergodic theorem for continuous non-expansive semigroup in these spaces as well as a strong convergence theorem for the commutative case. Our results extend the standard non-linear ergodic theorems for non-expansive maps on real Hilbert spaces, to non-expansive maps on Ha...

A Mean Ergodic Theorem For Asymptotically Quasi-Nonexpansive Affine Mappings in Banach Spaces Satisfying Opial's Condition

Strong convergence theorem for finite family of m-accretive operators in Banach spaces

The purpose of this paper is to propose a compositeiterative scheme for approximating a common solution for a finitefamily of m-accretive operators in a strictly convex Banach spacehaving a uniformly Gateaux differentiable norm. As a consequence,the strong convergence of the scheme for a common fixed point ofa finite family of pseudocontractive mappings is also obtained.